从知识传授到育人:高职“生活中的化学”教学实践*

深挖高职院校公选课“生活中的化学”的育人元素,精心设计教学内容,运用课堂主题辩论、趣味生活实验的设计与展示、探秘生活中的化学等理论知识传授与课内外实践相结合的教学方式,实现全过程育人,充分展现了公选课在立德树人方面的价值。     

一个关于凸集强分离的充分必要条件及其应用

该文首先给出了关于两个非紧凸集可被强分离的充分必要条件，它是[1，2]中一个定理的改进，然后利用它改进了[4-7]中一些定理和[8]中的一个结果．     

A Genetic Search for Exploiting a Fuzzy Preference Model of Portfolio Problems with Public Projects

When an organization solves a portfolio problem with public projects evaluated by multiple criteria, in which the economic dimension is not essential or not well characterized, the classical methods are not useful. We propose a non-linear preference model developed from normative Value Theory and using fuzzy sets to model some sources of imprecision. This model can be considered as a generalization of the classical approaches. However, the optimization problem is very complex in order to be solved with non-linear programming techniques. Therefore, the model is exploited by an evolutionary algorithm, able to achieve a strong improvement of the quality of solution.     

Certificateless signature and proxy signature schemes from bilinear pairings

Due to avoiding the inherent escrow of identity-based cryptography and yet not requiring certificates to guarantee the authenticity of public keys, certificateless public key cryptography has received a significant attention. Due to various applications of bilinear pairings in cryptography, numerous pairing-based encryption schemes, signature schemes, and other cryptographic primitives have been proposed. In this paper, a new certificateless signature scheme based on bilinear pairings is presented. The signing algorithm of the proposed scheme is very simple and does not require any pairing computation. Combining our signature scheme with certificateless public key cryptography yields a complete solution of certificateless public key system. As an application of the proposed signature scheme, a certificateless proxy signature scheme is also presented. We analyze both schemes from security point of view.__________Published in Lietuvos Matematikos Rinkinys, Vol. 45, No. 1, pp. 95–103, January–March, 2005.     

基于遗传算法和指标满意度求解的第三方物流企业物流中心选址方法

本利用AHP和模糊综合评价法评价物流中心选址的定性指标、用量化选址模型结合遗传算法计算定量指标，再藉助指标满意度求解把定性和定量的指标进行综合，从而为决策对物流中心选址做出科学的决策提供支持。     

世界港口管理体系剖析

全面展示了全球主要港口管理体系现状．通过对世界各国港口管理体制改革的研究，对改制后的几种港口管理模式进行了比较分析，并指出港口管理结构重组的主要任务是通过实施“解除管制”措施以及推动商业化、企业化和民营化进程来限制政府的干预范围，吸引私方资本．尤其对世界港口管理体制改革过程中存在的局限性进行了探索和分析，并提出了相应的解决对策、最后得出：港口体制改革机构在实施改革之前，应根据各国港口发展环境的具体情况，考虑采取一系列相应的有效配套措施，以便改制后的港口能更好地适应市场竞争和经济全球化需求．     

需求势能理论的配送中心选址方法的研究

物流配送中心选址的合理性直接影响着物流分销网络规划和优化.提出了针对物流网点选址的需求势能理论,并提出了一种基于需求势能的分销物流系统中配送中心的选址实现方法.最后通过实例证明,该方法简便快捷,结果正确合理,为解决此类配送中心选址问题提供了科学的指导依据.     

基于内生信息的股票发售机制比较研究

本文在内生信息成本的基础上，通过引入投资银行的信息成本函数，考察了国际上主要股票发售机制的内在机理，并用一个统一的框架比较了各种发售机制的差异及演进趋势。本研究表明，在投资银行和投资者信息成本相同的情况下，由于固定价格发售机制须用额外的折价去解决投资者之间的信息问题，因而相对于累计投标询价制是一种处于劣势的机制选择。同时指出，具有信息成本优势的机构投资者的出现和发展，是固定价格发行向询价发行过渡的一个必要条件。     

Evaluating dredging and offshore loading locations for U.S. coal exports using the local logistics system

The formulation and use of a mixed integer mathematical programming location-allocation model, the Coal Logistics System (COLS), is presented in this study. COLS is used to evaluate the potential for reducing water-borne coal transportation costs, and concomitantly the costs of delivering coal to European markets. This cost reduction is accomplished through the use of supercolliers which would require the dredging of channels at selected ports or the use of offshore loading sites at East and Gulf Coast ports or both. The model developed and the analysis presented in this paper are intended to aid in the determination of the location and extent of these activities, and to indicate the size of the potential reduction in the costs of U.S. export coal. In order to be able to accommodate these deeper draft vessels at East and Gulf Coast ports, expensive improvements would need to be undertaken which may include the deepening of harbor channels to the depths required for 120 000 dead weight ton (dwt) or larger supercolliers. Since dredging requires large initial investments and has significant long-term maintenance costs, excess capacity could represent an inefficient use of both U.S. revenues and the ports' own funds. The use of offshore loading moorings to permit the topping off of supercolliers by self-unloading colliers at the deepwater sections of harbor channels has been proposed as a way of reducing trans-ocean transportation costs and avoiding the large investments and time delays associated with dredging activities. The Coal Logistics System was modified and extended to enable the evaluation of these two port improvement options to be undertaken in a consistent and realistic manner.     

Fast folding and comparison of RNA secondary structures

Summary Computer codes for computation and comparison of RNA secondary structures, the Vienna RNA package, are presented, that are based on dynamic programming algorithms and aim at predictions of structures with minimum free energies as well as at computations of the equilibrium partition functions and base pairing probabilities.An efficient heuristic for the inverse folding problem of RNA is introduced. In addition we present compact and efficient programs for the comparison of RNA secondary structures based on tree editing and alignment.All computer codes are written in ANSI C. They include implementations of modified algorithms on parallel computers with distributed memory. Performance analysis carried out on an Intel Hypercube shows that parallel computing becomes gradually more and more efficient the longer the sequences are.

---

Schnelle Faltung und Vergleich von Sekundärstrukturen von RNA

Zusammenfassung Die im Vienna RNA package enthaltenen Computer Programme für die Berechnung und den Vergleich von RNA Sekundärstrukturen werden präsentiert. Ihren Kern bilden Algorithmen zur Vorhersage von Strukturen minimaler Energie sowie zur Berechnung von Zustandssumme und Basenpaarungswahrscheinlichkeiten mittels dynamischer Programmierung.Ein effizienter heuristischer Algorithmus für das inverse Faltungsproblem wird vorgestellt. Darüberhinaus präsentieren wir kompakte und effiziente Programme zum Vergleich von RNA Sekundärstrukturen durch Baum-Editierung und Alignierung.Alle Programme sind in ANSI C geschrieben, darunter auch eine Implementation des Faltungs-algorithmus für Parallelrechner mit verteiltem Speicher. Wie Tests auf einem Intel Hypercube zeigen, wird das Parallelrechnen umso effizienter je länger die Sequenzen sind.